/**
 * Software Analysis and Verification 
 * @project: Verify Pattern Matching with Guards in Scala
 * @authors: Mirco Dotta and Philippe Suter
 */

 
package ch.epfl.lara.patterns.analyze;


/**
 * <p>
 *   Constants define some general-purpose values that are used over the
 *   project by many classes.
 * </p>
 */
trait Constants {

  val FUNC_NAME_SEP: String = "_"
    
  val FRESH_SEP: String = "_"
}
